Search results for "model [particle]"
showing 10 items of 1261 documents
Microenvironment modulation and enhancement of antilymphoma therapy by the heparanase inhibitor roneparstat
2018
Metabolic syndrome enhances endoplasmic reticulum, oxidative stress and leukocyte–endothelium interactions in PCOS
2017
Polycystic ovary syndrome (PCOS) is associated with insulin resistance, which can lead to metabolic syndrome (MetS). Oxidative stress and leukocyte-endothelium interactions are related to PCOS. Our aim was to evaluate whether the presence of MetS in PCOS patients can influence endoplasmic reticulum (ER) and oxidative stress and leukocyte-endothelium interactions.This was a prospective controlled study conducted in an academic medical center. The study population consisted of 148 PCOS women (116 without/32 with MetS) and 112 control subjects (87 without / 25 with MetS). Metabolic parameters, reactive oxygen species (ROS) production, ER stress markers (GRP78, sXBP1, ATF6), leukocyte-endotheli…
Does sex hormone-binding globulin cause insulin resistance during pubertal growth?
2019
Background The directional influences between serum sex hormone-binding globulin (SHBG), adiposity and insulin resistance during pubertal growth remain unclear. The aim of this study was to investigate bidirectional associations between SHBG and insulin resistance (HOMA-IR) and adiposity from childhood to early adulthood. Methods Participants were 396 healthy girls measured at baseline (age 11.2 years) and at 1, 2, 4 and 7.5 years. Serum concentrations of estradiol, testosterone and SHBG were determined by ELISA, glucose and insulin by enzymatic photometry, insulin-like growth factor 1 (IGF-1) by time-resolved fluoroimmunoassays, whole-body fat mass by dual-energy X-ray absorptiometry and …
An Efficient Cooperative Smearing Technique for Degraded Historical Documents Images Segmentation
2020
Segmentation is one of the critical steps in historical document image analysis systems that determines the quality of the search, understanding, recognition and interpretation processes. It allows isolating the objects to be considered and separating the regions of interest (paragraphs, lines, words and characters) from other entities (figures, graphs, tables, etc.). This stage follows the thresholding, which aims to improve the quality of the document and to extract its background from its foreground, also for detecting and correcting the skew that leads to redress the document. Here, a hybrid method is proposed in order to locate words and characters in both handwritten and printed docu…
Generating incremental type services
2019
In this vision paper, we propose a method for generating fully functional incremental type services from declarations of type rules. Our general strategy is to translate type rules into Datalog, for which efficient incremental solvers are already available. However, many aspects of type rules don't naturally translate to Datalog and need non-trivial translation. We demonstrate that such translation may be feasible by outlining the translation rules needed for a language with typing contexts (name binding) and bidirectional type rules (local type inference). We envision that even rich type systems of DSLs can be incrementalized by translation to Datalog in the future.
A continuous time tug-of-war game for parabolic $p(x,t)$-Laplace type equations
2019
We formulate a stochastic differential game in continuous time that represents the unique viscosity solution to a terminal value problem for a parabolic partial differential equation involving the normalized $p(x,t)$-Laplace operator. Our game is formulated in a way that covers the full range $1<p(x,t)<\infty$. Furthermore, we prove the uniqueness of viscosity solutions to our equation in the whole space under suitable assumptions.
‘Tool port’ to ‘landlord port’: a game theory approach to analyse gains from governance model transformation
2018
This study investigates potential port users’ surplus and terminal operators’ profits due to transforming port governance from the ‘tool port’ model to the ‘landlord port’ model. Although the landl...
Competition for long-haul connecting traffic among airports in Europe and the Middle East
2017
Abstract This paper analyzes the competitive position of major hub airports in Europe and the Middle East for long-haul connecting traffic. We apply a connection builder to construct competitive flight connections. A stand out feature of the proposed connection builder is the calibration of the model parameters using booking data, composed of actual passenger demand between a given origin and destination (O&D) market. The methodology is applied to measure competition between hubs using flight schedule data to calculate connectivity measures like the number of city-pairs connected via a hub airport. Our results show that the Middle Eastern hubs have improved their competitive position, while…
Progress Checking for Dummies
2018
Verification of progress properties is both conceptually and technically significantly more difficult than verification of safety and deadlock properties. In this study we focus on the conceptual side. We make a simple modification to a well-known model to demonstrate that it passes progress verification although the resulting model is intuitively badly incorrect. Then we point out that the error can be caught easily by adding a termination branch to the system. We compare the use of termination branches to the established method of addressing the same need, that is, weak fairness. Then we discuss another problem that may cause failure of catching progress errors even with weak fairness. Fi…
On the Almost Everywhere Convergence of Multiple Fourier-Haar Series
2019
The paper deals with the question of convergence of multiple Fourier-Haar series with partial sums taken over homothetic copies of a given convex bounded set $$W\subset\mathbb{R}_+^n$$ containing the intersection of some neighborhood of the origin with $$\mathbb{R}_+^n$$ . It is proved that for this type sets W with symmetric structure it is guaranteed almost everywhere convergence of Fourier-Haar series of any function from the class L(ln+L)n−1.